minor shared/vcpu info adjustments
authorJan Beulich <jbeulich@suse.com>
Tue, 7 Jul 2015 08:32:59 +0000 (10:32 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 7 Jul 2015 08:32:59 +0000 (10:32 +0200)
commit93e12890fcdbe84188e79777dd6fd24558b79083
tree4c609fcac864ca4fb3fa63350f7a2fb185080629
parentcf2fab9ab24cf59ecf6c0a0141eef61b856cfbaf
minor shared/vcpu info adjustments

- remove vcpu_info from xlat.lst (it isn't and can't be checked)
- drop pointless (redundant) casts
- make dummy_vcpu_info static

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/common/domain.c
xen/include/xen/shared.h
xen/include/xlat.lst